Bernhard Beckert
18 publications
4 venues
H Index 9
Affiliation
Karlsruhe Institute of Technology, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Dynamic Logic with Trace Semantics.
|
CADE | 2013 | 13 |
| Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme.
|
CADE | 2013 | 14 |
| The KeY system 1.0 (Deduction Component).
|
CADE | 2007 | 16 |
| Second-Order Principles in Specification Languages for Object-Oriented Programs.
|
LPAR | 2005 | 8 |
| The KeY Approach: Integrating Object Oriented Design and Formal Verification.
|
JELIA | 2000 | 78 |
| Proof Confluent Tableau Calculi.
|
TABLEAUX | 1999 | 3 |
| leanK 2.0.
|
TABLEAUX | 1998 | 1 |
| A Tableau Calculus for Quantifier-Free Set Theoretic Formulae.
|
TABLEAUX | 1998 | 6 |
| Fibring Semantic Tableaux.
|
TABLEAUX | 1998 | 24 |
| System Description:
|
CADE | 1998 | 0 |
| Free Variable Tableaux for Propositional Modal Logics.
|
TABLEAUX | 1997 | 78 |
| Incremental Theory Reasoning Methods for Semantic Tableaux.
|
TABLEAUX | 1996 | 18 |
| The Tableau-based Theorem Prover
|
CADE | 1996 | 0 |
| A Completion-Based Method for Mixed Universal and Rigid E-Unification.
|
CADE | 1994 | 38 |
| On Anti-Links.
|
LPAR | 1994 | 7 |
| leanT
|
CADE | 1994 | 0 |
| An Improved Method for Adding Equality to Free Variable Semantic Tableaux.
|
CADE | 1992 | 48 |
| The Tableau-Based Theorem Prover
|
CADE | 1992 | 0 |